occurrence typing